Actor Languages for Specification of Parallel Computations
نویسندگان
چکیده
We describe high-level language constructs for specifying parallel programs and show how they may be used to provide modular speci-cation of communication, synchronization and placement. The high-level constructs are translated into actors which provide exible low-level primi-tives for interconnecting distributed components and eecient execution on concurrent computers. We argue that our linguistic constructs allow parallel program speciications that are easier to reason about and eecient to implement.
منابع مشابه
Actor Languages for Speciication of Parallel Computations
We describe high-level language constructs for specifying parallel programs and show how they may be used to provide modular speci-cation of communication, synchronization and placement. The high-level constructs are translated into actors which provide exible low-level primi-tives for interconnecting distributed components and eecient execution on concurrent computers. We argue that our lingui...
متن کاملA Guide to Specifying Concurrent Behaviour with Abacus1
We present the syntax, semantics and usage of Abacus, an executable notation for specifying concurrent computations that extends CCS with label prefixing and filtering operators for encapsulating systems of communicating agents and a pattern mechanism for parameterizing behaviour expressions. Abacus is intended to be used as a semantic target and a prototyping tool for the specification of conc...
متن کاملControlling Concurrency and Expressing Synchronization in Charm++ Programs
Charm++ is a parallel programming system that evolved over the past 20 years to become a well-established system for programming parallel science and engineering applications, in addition to the combinatorial search applications with which it started. At its earliest point, the precursor to Charm++, the Chare Kernel, was a purely reactive specification, similar to most actor languages. This pap...
متن کاملActors: A unifying model for parallel and distributed computing
Parallel computing and distributed computing have traditionally evolved as two separate research disciplines. Parallel computing has addressed problems of communicationintensive computation on tightly-coupled processors while distributed computing has been concerned with coordination, availability, timeliness, etc., of more loosely coupled computations. Current trends, such as parallel computin...
متن کاملContinuations for Prototyping Concurrent Languages
We have recently introduced the “continuation semantics for concurrency” (CSC) technique in an attempt to exploit the benefits of using continuations in concurrent systems development. In the CSC approach, a continuation is an application-dependent configuration of computations (partially evaluated denotations). Every computation or group of computations contained in a continuation can be acces...
متن کامل